доказательство правильности программы

доказательство правильности программы

 

доказательство правильности программы

[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • program correctness proof


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "доказательство правильности программы" в других словарях:

  • верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification …   Справочник технического переводчика

  • Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия

  • Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… …   Энциклопедия инвестора

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен …   Википедия

  • Лукойл — (Lukoil) Компания Лукойл, история компании, добыча и продажи Компания Лукойл, история компании, добыча и продажи, акционеры и руководство Содержание Содержание Общая о ОАО «» История основание фирмы ОАО «Лукойл» Акционеры и руководство… …   Энциклопедия инвестора

  • Конторович, Алексей Эмильевич — В Википедии есть статьи о других людях с такой фамилией, см. Конторович. Алексей Эмильевич Конторович …   Википедия

  • АНТИЧНОСТЬ — педагогическая мысль и воспитательная практика. Пед. мысль и система воспитат. институтов впервые достигли зрелых форм в Греции к 4 в. до н. э. после длит. эволюции полиса (города государства), в Риме к кон. 1 в. до н. э., когда рабовладельч.… …   Российская педагогическая энциклопедия

  • Дейкстра, Эдсгер Вибе — Эдсгер Вибе Дейкстра Edsger Wybe Dijkstra …   Википедия

  • Дейкстра Э. В. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»